(g0, g1, …, gk)-trees and unary OL systems
نویسندگان
چکیده
منابع مشابه
Recursive Unary Algebras and Trees
Khoussainov, B. Recursive “nary algebras and trees, Annals of Pure and Applied Logic 67 (1994) 213-268. A unary algebra is an algebraic system d = (A,f,, ,L). wheref,, . ,fm are unary operations on A and n EW. In the paper we develop the theory ofeffective “nary algebras. We investigate well-known questions of constructive (recursive) model theory with respect to the class of unary algebras. In...
متن کاملSurface vibrational sum frequency and Raman studies of PAMAM G0, G1 and acylated PAMAM G0 dendrimers
The first surface vibrational sum frequency generation (SFG) spectroscopic studies of amine-terminated Starburst® PAMAM G0 and G1 and acylated PAMAM G0 dendrimers at the glass–, gold–, and air–dendrimer interface are presented. Amine-terminated PAMAM G0 and G1 dendrimers as compared to the acylated PAMAM G0 dendrimer reveal significantly different surface SFG spectroscopic signatures. Raman spe...
متن کاملRegister Allocation for Unary-Binary Trees
We study the number of registers required for evaluating arithmetic expressions formed with any set of unary and binary operators. Our approach consists in a singularity analysis of intervening generating functions combined with a use of (complex) Mellin inversion. We illustrate it first by rederiving the known results about binary trees and then extend it to the fully general case of unaj-bina...
متن کاملParsing Ambiguous Structures using Controlled Disjunctions and Unary Quasi-Trees
The problem of parsing ambiguous structures concerns (i) their representation and (ii) the specification of mechanisms allowing to delay and control their evaluation. We first propose to use a particular kind of disjunctions called controlled disjunctions: these formulae allows the representation and the implementation of specific constraints that can occur between ambiguous values. But an effi...
متن کاملGinkgo biloba extract induce cell apoptosis and G0/G1 cycle arrest in gastric cancer cells.
OBJECTIVE Previous studies have shown that the Ginkgo biloba extract (EGb761) can be used to anti-cancer. However, the mechanism by which EGb761 mediate this effect is still unclear. In the present study, EGb761 inhibited cell proliferation and induced cell apoptosis in gastric cancer cell was explored. METHODS The cell viability was detected by the CCK8 assay. The cell cycle and apoptosis wa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90145-7